Euris, a Speciication Method for Distributed Interlockings (extended Abstract)
نویسندگان
چکیده
Safety systems for railways have shifted from electronic relays to more computer-oriented approaches. This article highlights the language EURIS from NS Railinfrabeheer, which champions an object-oriented method for the speciication of interlocking logics.
منابع مشابه
EURIS, a Specification Method for Distributed Interlockings
Safety systems for railways have shifted from electronic relays to more computer-oriented approaches. This article highlights the language EURIS from NS Railinfrabeheer, which champions an objectoriented method for the specification of interlocking logics.
متن کاملEURIS, a Speci cation Method for Distributed Interlockings
Safety systems for railways have shifted from electronic relays to more computer-oriented approaches. We present a tutorial on the EURIS method from NS Railinfrabeheer, which champions an objectoriented approach to the speci cation of interlocking logics. We also give an overview of UniSpec, which is an instance of EURIS for the Dutch railway system.
متن کاملTowards a Module Concept for Object Oriented Speci cation Languages
The general aim of our work is the speciication of distributed information systems, that means reactive systems consisting of one or more databases and application programs. In this context the formal object oriented speciication language Troll was developed and is now going to be extended by module concepts. In this paper we give a short introduction in Troll and a survey over related work don...
متن کاملExtensions of normal OOA methods and techniques for distributed real time systems
Extended abstract Despite the fact that there are several Object Oriented Analysis (OOA) methods there is no method which ts the needs for the speciication of distributed real-time systems in the same way as for example the Booch method Boo93] or Object Modelling Technique (OMT) RBP + 91] do for traditional business applications. The main reason can be found in the used techniques. They do not ...
متن کاملEngineering Formal Requirements: Analysis and Testing
We introduce a method for formal analysis and symbolic testing of behavioral aspects of Z speciications. We start deening a (chemical) operational semantics, which supports an abstract execution model and some new constructs to allow the veriication of dynamic properties. Moreover, using such a semantics, we have built a parallel animator of Z speciications which automatically constructs distri...
متن کامل